Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 004D17 | Ashish Tiwari [États-Unis] | Abstractions for hybrid systems |
| 006C21 | Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
| 006C27 | Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
| 007B03 | Leo Bachmair [États-Unis] ; Ashish Tiwari ; Laurent Vigneron [France] | Abstract Congruence Closure |
| 009803 | Leo Bachmair [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; Ashish Tiwari [États-Unis] ; Laurent Vigneron [France] | Congruence Closure modulo Associativity-Commutativity |
| This area was generated with Dilib version V0.6.33. |  |